Control Structures I
نویسندگان
چکیده
Action calculi have been deened as a broad class of action structures with added structure; they are syntactic in nature. Each action calculus AC(K) is determined essentially by a set K of controls. Diierent concrete models of concurrent computation such as Petri nets, the typed-calculus and the-calculus, are obtained by diierent choices of control set K. The aim of this work is to deene a class (in fact a category) of action structures with added structure which can be regarded as possible semantic interpretations of the calculus AC(K); thus AC(K) is characterized as the initial object in this category. The objects are called control structures over K. The paper contains the technical formulation of the category of control structures and their homo-morphisms, and the proof that AC(K) is initial. Moreover, the category is closed under factorisation by arbitrary congruences on control structures. The paper concludes with an outline of work in progress to identify particular control structures of interest, such as the quotient of an action calculus for the-calculus under a bisimulation congruence.
منابع مشابه
Effects of Cadmium on Cellular and Subcellular Structures of Cerebellar Purkinje Cells in Four-Day Postnatal Developing Rat
Purpose: This experiment was conducted to evaluate the effects of Cd on cellular and subcellular aspects of cerebellar Purkinje cells in developing rats. Materials and methods: forty adult female Wistar rats served as subjects in this experiment. The animals were assigned randomly to four groups: control I, control II, experiment I and experiment II. The experiment group I and II were injected...
متن کاملSemi-active Control of Building Structures using Variable Stiffness Device and Fuzzy Logic
Semi-active control devices, also called “Intelligent” control devices, constitute the positive aspects of both the passive and active control devices. A semi-active control strategy is similar to the active control strategy, but this control device has been shown to be more energy-efficient than active devices. A particular type of semi-active control device, the Variable Stiffness Device (VSD...
متن کاملModeling, Control and Simulation of Cascade Control Servo System for one Axis Gimbal Mechanism
The gimbal stabilization mechanism is used to provide the stability to an object mounted on the gimbal by isolating it from the base angular motion and vibration. The purpose of this paper is to present a model of control servo system for one axis gimbal mechanism using a cascade PID controller. The gimbal torque relationships are derived by taking into consideration the base angular motion. Th...
متن کاملOn Symmetry of Some Nano Structures
It is necessary to generate the automorphism group of a chemical graph in computer-aided structure elucidation. An Euclidean graph associated with a molecule is defined by a weighted graph with adjacency matrix M = [dij], where for i≠j, dij is the Euclidean distance between the nuclei i and j. In this matrix dii can be taken as zero if all the nuclei are equivalent. Otherwise, one may introduce...
متن کاملOptimization of the TMD Parameters to Suppress the Vertical Vibrations of Suspension Bridges Subjected to Earthquake Excitations
Flexible structures (such as long-span suspension bridges which undergo wind or earthquake excitations) exhibit complex dynamic behavior. Due to high cost of strengthening such structures, as well as the technological advances in recent years, much attention has been given to using innovative means of enhancing structural functionality and safety against natural hazards. Among the methods used ...
متن کامل